退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:基于有限自动机的Z码测试算法
Thang, Dang,; Han, Nguyen,; Huy, Phan,;
机译:用于测试有限自动机的歧义和有限状态传感器的双磁带歧义的一般算法
机译:复杂对象测试过程中有限自动机建模的输入输出系统状态评估算法
机译:基于有限自动机的Z码测试的算法
机译:基于交替自动机的验证算法。
机译:基于概率有限自动机的行为建模:一项实证研究
机译:一种测定有限自动机等效性的线性算法
机译:用于确保Rivest Shamir Adleman密码算法在芯片卡上的数据处理方法,涉及通过基于有限群的内部规则将值与有限群的中性元素进行比较来测试值之间的关系
机译:通过场景生成,基于CSP的面向语法的模型构建以及R2D2C系统需求转换来提供更完整的系统需求规范的自动机学习算法和过程
机译:有限自动机的系统建模与测试
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。